|
|
AI Algorithms
Petrželka, Jan ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This master's thesis describes artificial intelligence algorithms based on the book Artificial Inteligence: A Modern Approach by S. Russel and P. Norvig and implementation of the algorithms in the Squeak Smalltalk programming language with object oriented approach. Algorithms are based on pseudocode in the book and existing implementations in Lisp, Python and Java language. Main concepts are intelligent agents, agent simulation environments, state space search, game playing, planning, uncertainty and learning.
|
|
|
Application of SAT Solvers in Circuit Optimization Problem
Minařík, Vojtěch ; Mrázek, Vojtěch (referee) ; Vašíček, Zdeněk (advisor)
This thesis is focused on the task of application of SAT problem and it's modifications in area of evolution logic circuit development. This task is supposed to increase speed of evaluating candidate circuits by fitness function in cases where simulation usage fails. Usage of SAT and #SAT problems make evolution of complex circuits with high input number significantly faster. Implemented solution is based on #SAT problem. Two applications were implemented. They differ by the approach to checking outputs of circuit for wrong values. Time complexity of implemented algorithm depends on logical complexity of circuit, because it uses logical formulas and it's satisfiability to evaluate logic circuits.
|
|
| |
|
|
Client-Server Relationship in Web Applications
Kučera, Petr ; Petřík, Patrik (referee) ; Šperka, Svatopluk (advisor)
This paper conducts a research in the field of transferring application logic to clients in web applications in order to reduce server load. It examines actions that can be performed on the client side in area of generating HTML code from structured data and data manipulation operations eliminating the need to communicate with server. It describes implementation of a JavaScript framework which turns this knowledge into practical use. It shows its usability on a simple information system. The results of the measurements show that the goal has been achieved and that the framework shows the way in which web applications with a strong emphasis on reducing server load can be made.
|
|
|
the essence of photography in the digital age
Doubek, Zdeněk ; Holeček, Tomáš (advisor) ; Váša, Ondřej (referee)
The diploma thesis solves the question of photography not only from the point of view of a work of art, but as a part of a cultural code. Photography in the digital era has the potential to become a new kind of visual language. From this perspective, the photographic universe reveals several essential questions, which we address here. These questions explore topics such as: historical development of images and text, the difference between traditional images and technical images, the cultural impact of mass production of digital devices and photographs, the essence of photography as a symbol from the point of view of semiotics and logic, the difficulties of deciphering photography, the linguistic aspects of digital photography or the meaning of photography in virtual (public) space. Due to the nature of the monitored topics, the work will address problems mainly related to language, logic, epistemology, human freedom in the context of man/device and marginally also semiotics.
|
|
|
British Logic in the 19th Century
Joachim, Jiří ; Holeček, Tomáš (advisor) ; Šebela, Karel (referee)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Environment of Family-tree in primary school mathematics
Bartošová, Zuzana ; Jirotková, Darina (advisor) ; Hejný, Milan (referee)
The Rodokmen (Family tree) environment is one of the many envirnments listed in Fraus publishing house textbooks based on the RVP pro ZV (The Framework Educatinal Programme for Basic Education). The environment offers a tool for building of the mathematical schema of terms and their inter-realations as well as the development of the logical thought. In the theorethicl part of this Diploma thesis the relationship of the Rodokmen environment to the RVP pro ZV is being explained, basic mathematical and geneaologic terminology is stated. In this part of the thesis I also explain the relations in the set cocncept, clasify the family relationships and adress the methodology of the age example solving. In the practical part of the thesis I - by the way of experiment - determine how and in what context students understand the stated mathematical terms, the way they apply the understanding in order to solv the relation and age exams or problems, where the numeric operations take place.
|
|
|
Frege and Husserl on Objectivity
Jankovská, Lenka ; Peregrin, Jaroslav (advisor) ; Beran, Ondřej (referee)
This bachelor thesis is concerned with early works of significant logi- cians and philosophers Gottlob Frege and Edmund Husserl at the turn of the nineteenth and the twentieth centuries. Most importantly, it deals with their solution of the objectivity of arithmetic and the objectivity itself. At first they both started in the same direction and they har- shly rejected psychologism. They also introduced similar differentiation of sense and reference. According to Frege, the reference of a sentence is a truth value, however, according to Husserl, it is a state of affairs. The sense is the way of referring to an object, also called intentionality. The sense in a sentence is a thought according to Frege and it is a noema according to Husserl. They both put emphasis on objectivity of number but they gradually went in different direction. Frege identified number with extension of concept, however, this subsequently let his system to dispute. Husserl derived number by abstraction, which exposed him to Frege's harsh criticism. Key words Frege, Husserl, objectivity, logic
|
|
| |
|
|
Probabilistic semantics for Independence-friendly Logics
Seidl, Julian ; Majer, Ondrej (advisor) ; Švarný, Petr (referee)
(in English): Character of the work is purely theoretical and it pursues game theory in the perspective of mathematical logic and probability. The work is divided into two parts. Introductory part compiles basic concepts and definitions, summarizing the game theory and basics of syntax and semantics of mathematical logic and its extensions suitable for work in the field of game theory. Introductory part also explains following terms: extensive and strategic form of games, Nash equilibrium, pure and mixed strategies, winning strategies or independence-friendly logic. The problems solved in the second part of the work such as question of existence of Nash equilibrium in the games with infinite models or issue which arises when trying to uniformly distribute the probability of strategies in the same class of games are sketched out. The second part continues with analysis of strategic games with imperfect information aiming to the solution of nontrivial problems earlier proposed. Second part also introduces basic concepts and definitions of the probability theory, which helps comprehending the problems mentioned above. The last part of the work before the very presentation of some results induced by the area of infinite games is conversion between strategic and extensive games form. In the end of the...
|
guest ::
